IdLnk  Type 

latex

Definitions	Id, t  T, IdLnk
Lemmas	Id wf